2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Advances in Logic, Artificial Intelligence and Robotics: Laptec 2002 (Frontiers in Artificial Intelligence and Applications, 85)
Brazil) Congress of Logic Applied to Technology 2002 (Sao Paulo
,
Joao Inacio Da Silva Filho
Категория:
Наука (общее)
14.70 Mb
#2
Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings (Lecture ... Computer Science and General Issues)
Joao Marques-Silva
,
Karem A. Sakallah
Категория:
Компьютеры
3.79 Mb
#3
Exploring Fundamental Particles
Lincoln Wolfenstein
,
Joao P. Silva
3.41 Mb
#4
Dependable Computing - EDCC-2: Second European Dependable Computing Conference, Taormina, Italy, October 2 - 4, 1996. Proceedings
Andrzej Hlawiczka
,
Joao G.S. Silva
,
Luca Simoncini
5.63 Mb
#5
Cp Violation
Gustavo Castelo Branco
,
Luís Lavoura
,
Joao Paulo Silva
4.90 Mb
#6
Dependable Computing: First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings
Rogério le Lemos
,
Taisy Silva Weber
,
Joao Batista Camargo Jr.
5.10 Mb
#7
Protocols and Systems for Interactive and Distributed Multimedia
Fernando Boavida
,
Edmundo Heitor da Silva Monteiro
,
Joao Orvalho
4.85 Mb
#8
Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings
Joao Marques-Silva
,
Karem A. Sakallah
5.55 Mb